Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
291	Declarative PTIME Queries to Relational Databases Patrick Doherty Witold Lukaszewicz March 9, 2001 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:09:00 Query languages Formal languages Programming paradigms Model theory Datalog FO Well-formed formula Function Interpretation Logic Mathematics Mathematical logic
292	Declarative PTIME Queries to Relational Databases Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:32 Query languages Formal languages Programming paradigms Predicate logic Datalog FO Well-formed formula Generalization Interpretation Logic Mathematical logic Theoretical computer science
293	Temporal logic and FRP Intuitionistic S4 categories Temporal categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-07-10 13:09:46 Declarative programming Monad Categorical logic Temporal logic Modal logic Cartesian closed category Adjoint functors Logic Mathematics
294	Wearing the hair shirt A retrospective on Haskell Simon Peyton Jones Microsoft Research, Cambridge Haskell is 15 years old Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-12 08:18:59 Functional programming Functional languages Haskell Literate programming Monad Id Simon Peyton Jones Philip Wadler Software engineering Declarative programming Computing
295	1 PowerPoint and POGIL Having it both ways 2 Add to Reading List Source URL: virgil.azwestern.edu Language: English - Date: 2012-11-28 16:17:23 Microsoft PowerPoint Presentation software Cons Audience response Software Computing Declarative programming
296	Declarative, Temporal, and Practical Programming with Capabilities William R. Harris∗ , Somesh Jha∗ , Thomas Reps∗† , Jonathan Anderson‡ , and Robert N. M. Watson‡ ∗ { wrharris, jha, reps }@cs.wisc.edu; Uni Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-12 08:14:32 Access control Portable software Text mode Wget Capability-based security Capsicum Process Computer program Programming language Computing Software Security
297	functional Programming in Ruby by Paul Barry What is Functional Programming? A programming paradigm that treats Add to Reading List Source URL: files.meetup.com Language: English - Date: 2010-04-12 14:29:51 Functional programming Lambda calculus Subroutines Higher-order functions Data types Partial application First-class function Currying Lazy evaluation Software engineering Declarative programming Computing
298	Annales Univ. Sci. Budapest., Sect. Comp[removed]–338 DECLARATIVE SCHEDULING OF DATAFLOW NETWORKS G´ abor P´ Add to Reading List Source URL: ac.inf.elte.hu Language: English - Date: 2012-04-20 12:53:14 Models of computation Parallel computing Computer programming Dataflow Scheduling Thread Multi-core processor Computer program Preemption Computing Computer architecture Concurrent computing
299	Contributions To Or-Parallel Logic Programming PhD Thesis Péter Szeredi Add to Reading List Source URL: www.cs.bme.hu Language: English - Date: 2010-09-29 17:13:47 Programming paradigms Prolog Logic programming Parallel computing Declarative programming ECLiPSe Visual Prolog Software engineering Computer programming Computing
300	Declarative Problem Solving and Nonmonotonic Reasoning Thomas Eiter Institute of Information Systems Vienna University of Technology [removed] Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:29 Mathematical logic Logic programming Non-classical logic Programming paradigms Stable model semantics First-order logic Knowledge representation and reasoning Expert system Non-monotonic logic Logic Science Reasoning

UPDATE